f: I64 -> (I64, I64)
f = |x| (x, x + 1)

f(42)
